# -*- mode: snippet -*-
# name: Ltac
# key: ltac
# uuid: ltac
# --
Ltac $1 := $2
